demicontinuous mapping

强弱连续映射